Bridge Methods: Complementary Steps Integrating Agile Development Tools and Methods with Formal Process Methodologies
نویسندگان
چکیده
This paper describes a “Bridge” method for successfully integrating Agile concepts with traditionally linear and sequential software development lifecycles. A software development and management environment is constructed to serve project oversight, management control, and team planning and task scheduling needs. The new method and environment enable project stakeholders to acquire a clear and constructive understanding of each other’s activities. The method is neither a tentative step toward Agile nor a ‘maturing’ of an already Agile environment. Instead the Bridge is a complementary destination methodology incorporating the techniques from both Agile and Formal methods that have proven effective in large, complex software delivery environments. The method and environment are assessed within a large enterprise integration and software development project, and refined using an Action research methodology. This work advances the thinking about Agile’s usefulness and its ability to effectively address multiple stakeholder needs for large enterprise development projects.
منابع مشابه
Position Paper: Formal Methods in Agile Development
Modern software development must be agile. It has to accept that software systems undergo a lot of changes due to changes in the application context (for example changing conditions on the markets and changes due to the jurisdiction) and base technology (e.g. integration of new frameworks or updates of the platform) in their life cycle. Thus, most of the activities in the development process ar...
متن کاملModularization of Refinement Steps for Agile Formal Methods
The combination of agile methods and formal methods has been recognized as a promising field of research. However, many formal methods rely on a refinement-based development process which poses problems for their integration into agile processes. We consider redundancies within refinement hierarchies as a challenge for the practical application of stepwise refinement and propose superimposition...
متن کاملToward Integrating a System Theoretic Safety Analysis in an Agile Development Process
Agile development methodologies are becoming a tendency in today’s changing software development. However, due to a lack of safety assurance activities, especially safety analysis, agile methods are criticized for being inadequate for the development of safe software. In this paper, we introduce an agile ”Safe Scrum” by mapping a novel systematic safety analysis method, called STPA (System-Theo...
متن کاملAn Agile Formal Development Methodology
The demand for more complex but also more reliable and correct computer based systems on the one hand, and the fact that several changes in the user requirements through the development cycle on the other hand, leads to the need for more formal but also agile development methodologies. This report proposes XFun, which is a development methodology that adopts the unified process, and proposes as...
متن کاملUsing Reverse Semantic Traceability for Quality Control in Agile MSF- based Projects
Reverse Semantic Traceability (RST) is a quality control method that allows minimizing inconsistencies between inputs and outputs of every step in a software development process. For each step, before proceeding to the subsequent ones, the current inputs are restored (reverse engineered) from the current outputs, and compared to the original versions of inputs. If they are semantically differen...
متن کامل